编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

CCD摄象机在检测雷达角度跟踪系统性能中的应用

本文提出用 CCD 摄象机和单片微计算机所组成的系统实现对雷达角度跟踪性能指标的检测,这一新方法可自动录取:雷达的光轴与电轴的匹配状况;雷达角度跟踪系统的误差;当雷达跟踪空中目标时对目标录象,用以评定雷达的跟踪质量.     

多喷嘴系统控制律

大型航天器(航天飞机、空间站等)的反作用控制系统(RCS)是由多喷嘴组成,具有较高的冗佘度。本文对此系统提出一种控制律,包括控制指令的产生与分配的方法,编成程序包后,便于机载计算机实时操作。     

热漏对热机功率效率特性的影响

本文研究热漏对热机最优性能的影响,导出存在热阻和热漏损失的定常态流不可逆热机的功率、效率关系。所得结果不同于仅存在热阻损失时的内可逆热机的功率效率特性,且与实际热机特性相一致。     

一种适用于地面防空武器群的整体电子反对抗能力评估方法

应用雷达反电子对抗(ECCM)模糊矩阵、雷达和各类光电定位器材的作战可用度以及电磁环境的模糊分类等手段,提出了一种地面防空武器群整体反电子对抗能力的评估方法。     

一种电路模块故障诊断的实现方法

在分析电路模块故障诊断特性的基础上,本文利用表结构表示推理规则,以框架结构组织规则库,为快速孤立故障,将症状按其检测的难易程度划分类别,并由检测点的选择准则确定下一个能有效孤立故障的检测点,该方法在“电子装备模块级故障诊断系统”和某装备测距系统与搜索系统的实际故障处理中得到了应用,并证实了其有效性。     

针对复杂检测系统的微机数据管理系统设计方法探讨

本文以陆军战术导弹性能检测系统为研究对象,探讨复杂检测系统中微机数据管理系统的设计方法,给出了此类系统标准化设计的规范步骤。     

Novell网络环境下分布式文件系统的设计与实现

在局部网络环境下实现分布式文件系统和远程过程调用是实现高层分布式软件的基础。本文在分析Netware层次结构的基础上,给出了一个在网络层上的分布式文件系统和远程过程调用的设计与实现,详细讨论了该系统的功能、用户界面和实现中的技术问题,包括可靠性和并发控制等必须解决的问题。本文的工作是为在Novell网上实现分布式数据库而设计的。     

利用 Nernst 效应的高 Tc 超导红外探测器分析

高T_c超导膜中Nernst效应的存在为研制辐射探测器开辟了新的途径。本文分析了以Nernst效应为基础的高T_c超导红外探测器的工作原理及有关的噪声源。     

非共轴光学系统的光路计算与象质评价

针对非共轴光学系统提出新式光线抽样;运用切比雪夫数值积分建立崭新的质量函数;以最小二乘法和0.618法实现最佳象面快速自动优选;简化了坐标变换和数据输入。